Proposal that the Kochen-Specker theorem suggests to understand quantum physics via the internal logic of (what later would be called) a Bohr topos:
Andreas Döring, Chris Isham, A Topos Foundation for Theories of Physics
I. Formal Languages for Physics, J. Math. Phys. 49 (2008) 053515 [arXiv:quant-ph/0703060, doi:10.1063/1.2883740]
II. Daseinisation and the Liberation of Quantum Theory, J. Math. Phys. 49 (2008) 053516 [arXiv:quant-ph/0703062, doi:10.1063/1.2883742]
III. The Representation of Physical Quantities With Arrows, J. Math. Phys. 49 (2008) 053517 [arXiv:quant-ph/0703064, doi:10.1063/1.2883777]
IV. Categories of Systems, J. Math. Phys. 49 (2008) 053518 [arXiv:quant-ph/0703066, doi:10.1063/1.2883826]
The Döring-Harding-Hamhalter theorem:
Last revised on July 15, 2023 at 20:21:47. See the history of this page for a list of all contributions to it.